结构分析与设计语言（Architecture Analysis and Design Language,AADL）是针对嵌入式实时系统领域中的软件开发复杂度问题而提出的一......

结构分析与设计语言AADL是一种嵌入式实时系统的体系结构建模的语言标准,因为其可以兼顾软件和硬件两方面共同建模,已被广泛应用于......

带数据约束的实时系统是指一种既带有时间约束又带有数据变量约束的计算系统。目前将离散数据约束和连续时间约束统一在一个模型中......